weak/strong invariant

弱/强不变式